منابع مشابه
Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models
In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) a...
متن کاملGalileo's Dagger.
Galileo found that fine lines on a balance scale dazzled his eyes and were unreadable. So he used a grid of fine wires instead and ran his dagger across it, counting the number of auditory clicks. This is the first known experiment on sensory substitution.
متن کاملMonads on Dagger Categories
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when all structure respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so-called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleis...
متن کاملCloak-and-dagger publishing.
71 SPECIALSECTION could escape from a lab and cause a human pandemic, or that revealing details about the research could inadvertently aid terrorists seeking a bioweapon. They asked the National Science Advisory Board for Biosecurity, set up after the 2001 anthrax attacks, to review the H5N1 studies. It initially recommended that the papers be published only if journal editors deleted key metho...
متن کاملThe dagger lambda calculus
We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols [4] into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus [6] with a linear negation [1] of ”trivialised” De Morgan duality [5]. Reduction is realised through explicit substitution, based on a symmetric notion of binding of glo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.318.11